高層ビルを建設する場合、屋上から始めることはできません。地殻の深さにまで及ぶ基盤が必要です。数学において、この基盤こそが 数学的体系です。これは循環論法の罠に陥ることなく真偽を決定するための形式的な言語的構造です。すべての石が下にある石によって支えられる「論理のピラミッド」です。
数学的真実の階層
数学的体系は、それぞれ異なる構造的役割を果たす4つの主要な垂直層で構成されています：
1. 基盤：未定義用語と公理
ある言葉を別の言葉で定義すると、その言葉もまた別の言葉で定義されなければならず、無限に続く（無限回帰）ことを避けるため、特定の 未定義用語 を原始的概念として受け入れます（例：「点」や「集合」）。また、 公理という、証明なしに真であると仮定される命題を受け入れます。
例： ユークリッド幾何学では、「任意の2点間には直線セグメントを引くことができる」という公理を受け入れます。
2. 框組み：定義
定義 は、公理と未定義用語を使って新しい概念を説明する合意された記述です。数学的体系は明確に「公理、定義、未定義用語の集まり」と定義されます。
3. 橋渡し：証明
証明 証明 は、公理と定義を連結して定理を検証する形式的な議論です。それは予想を確定事実に変える論理的なメカニズムです。
4. 結晶：定理、補題、および系
- 定理： すでに証明された真である重要な命題（例：「三角形の2辺が等しければ、それらに対応する角も等しい」）。
- 補題： 戦略的な「足がかり」——自体は興味深いものではないが、より大きな結果を証明するために不可欠な定理。
- 系： 「手が届く果実」——他の定理から容易かつ即座に導かれる定理。
例：二等辺三角形の構造
ユークリッド幾何学の体系において：
- 定理： 2辺が等しければ、それらに対応する角も等しい。
- 系： 三角形が正三角形ならば、その内角もすべて等しい。（このことは上の定理からほとんど追加作業なしに導かれる）。
- 高度な応用： 四角形の体系では、「対角線が互いに二等分するならば、その四角形は平行四辺形である」と証明できるかもしれません。
🎯 核心原則
数学的体系は曖昧さを排除することを目的として設計されています。 未定義用語 から 系まで厳密な階層を確立することで、すべての「真実」が循環することなく、不変の基盤に戻せることを保証します。